81. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, D. W.)Donald W.(,5391-,D. W. Barnes, J. M. Mack
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
82. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
83. An examination of logical positivism
پدیدآورنده : Weinberg, Julius Rudolph
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Logical positivism
رده :
BC
135
.
W37
1936
84. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
موضوع : ، 1 Hilbert space,، Quantum theory,، Log symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
85. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
86. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Hilbert space , Quantum theory , Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
87. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
88. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
89. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
90. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
91. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده : Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
92. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
93. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
94. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
95. An introduction to the elements of mathematics
پدیدآورنده : Fujii, John N
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Aggregates,، Algebra
رده :
QA
9
.
F8
96. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
97. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
98. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
99. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
100. An outline of set theory
پدیدآورنده : James M. Henle,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986